搜索
OpenAI 的 GPT-6 Astra 在有界素数间隔问题上将上界从 246 推进至 186，并完成 Lean 形式化验证，显示 AI 正从数学解题工具走向研究伙伴。
Talespark由成镭与Rolan共同创办，已完成XVC领投的数千万元天使轮，其核心系统World Director作为AI Agent重新组织游戏核心逻辑，使世界能根据玩家经历持续回应，首款PC端RPG《Project S》计划2028年年初上线Steam。
联想AI PC新物种炸场IFA：横向卷轴屏、360°翻转屏、英伟达RTX Spark。
据《The Information》报道，OpenAI 最强新模型 Astra 被曝采用「循环深度」（recurrent depth）技术，使模型在输出 Token 前完成多轮潜在空间计算并显著提升网络安全能力，但这一「少说多想」的推理方式因思维链可能被压缩到难以读取的内部状态而引发 AI 安全专家对监管失效的担忧。
英伟达CEO黄仁勋官宣以约129.303亿美元（折合人民币868亿元）收购全球最大AI开源平台Hugging Face，交易完成后Hugging Face将加入英伟达体系并继续保持开放社区定位。
戴森发布售价3899元的AI可视成像电动牙刷CameraJet，将电动牙刷、冲牙器、内窥镜和AI图像识别系统集成于同一手柄，通过刷头内置微距相机和基于47万张牙齿图像训练的算法自动识别牙缝并向其喷出漱口水，将于9月7日开启预售。
生成答案正在成为 AI 的基础能力，而推演现实世界，才是下一阶段更难的命题。
在 AI 狂飙突进的这两年里，Google 似乎总是扮演着那个「起大跑慢」的角色。
床头或许会成为 AI4Bio 的一个新入口。
近期Product Hunt热门AI产品Acti、Wispr Flow、Hey Noah、Pazi、Glaze、AnySearch、Context.dev和OpenSEO不再执着于打造更聪明的ChatGPT，而是分别争夺意图入口、任务执行权、软件生产成本降低以及面向Agent的基础设施，将AI嵌入键盘、语音、邮件等日常工作流程。